7e53fa9f133fc4c16a1a813051986f055bc73b21,src/org/openstreetmap/josm/gui/layer/WMSLayer.java,WMSLayer,finishRequest,#WMSRequest#,588

Before Change


            processingRequests.remove(request);
            if (request.getState() != null && !request.isPrecacheOnly()) {
                finishedRequests.add(request);
                Main.map.mapView.repaint();
            }
        } finally {
            requestQueueLock.unlock();

After Change


            processingRequests.remove(request);
            if (request.getState() != null && !request.isPrecacheOnly()) {
                finishedRequests.add(request);
                if (Main.map != null && Main.map.mapView != null) {
                    Main.map.mapView.repaint();
                }
            }
        } finally {